منابع مشابه
FDR adjustments of Microarray Experiments (FDR-AME)
Purpose This R package adjusts p-values generated in multiple hypotheses testing of gene expression data obtained by a microarray experiment. The software applies multiple testing procedures that control the False Discovery Rate (FDR) criterion introduced by Benjamini and Hochberg (1995). It applies both theoretical-distribution-based and resampling-based multiple testing procedures, and presen...
متن کاملFDR Control with adaptive procedures and FDR monotonicity
The steep rise in availability and usage of high-throughput technologies in biology brought with it a clear need for methods to control the False Discovery Rate (FDR) in multiple tests. Benjamini and Hochberg (BH) introduced in 1995 a simple procedure and proved that it provided a bound on the expected value, FDR ≤ q. Since then, many authors tried to improve the BH bound, with one approach bei...
متن کاملRecent Developments in FDR
We describe and report upon various substantial extensions of the CSP refinement checker FDR including (i) the direct ability to handle real-time processes; (ii) the incorporation of bounded model checking technology; (iii) the development of conservative and highly efficient static analysis algorithms for guaranteeing livelock-freedom; and (iv) the development of automated CEGAR technology.
متن کاملFDR into The Cloud
In this paper we report on a successful extension to the CSP refinement checker FDR3 that permits it to run on clusters of machines. We demonstrate that it is able to scale linearly up to clusters of 64 16-core machines (i.e. 1024 cores), achieving an overall speed-up of over 1000 relative to the sequential case. Further, this speed-up was observed both on dedicated supercomputer facilities, bu...
متن کاملTopological FDR for neuroimaging
In this technical note, we describe and validate a topological false discovery rate (FDR) procedure for statistical parametric mapping. This procedure is designed to deal with signal that is continuous and has, in principle, unbounded spatial support. We therefore infer on topological features of the signal, such as the existence of local maxima or peaks above some threshold. Using results from...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2008
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-008-0074-7